Design-Stage Prediction of Project Correctness or Incorrectness
نویسندگان
چکیده
منابع مشابه
Design Correctness of Digital Systems
Transformational design is a formal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as design steps. A formal framework is necessary but hidden fo r the designer. Five formal aspects are integrated in the presented formal framework that is aimed at the design of complex systems composed out of differen...
متن کاملCross Project Software Fault Prediction at Design Phase
Software fault prediction models are created by using the source code, processed metrics from the same or previous version of code and related fault data. Some company do not store and keep track of all artifacts which are required for software fault prediction. To construct fault prediction model for such company, the training data from the other projects can be one potential solution. Earlier...
متن کاملASIC Manufacturing Test Cost Prediction at Early Design Stage
This paper proposes a test cost prediction model which estimates the cost of IC testing in a manufacturing environment. The model predicts chip testing cost and quality of test using a set of circuit manufacturing parameters. The objective is to use these circuit parameters which are available at the early stage of the design cycle to determine and optimize manufacturing test cost.
متن کاملVerifying Behavioral Correctness of Design Pattern Implementation
Design pattern describes a recurring problem and its common solution, which usually is in abstract form. The application of design pattern requires coding the generic solution. It is necessary to assure the coding process correctly implements not only the structure but also the desired behavior of the design pattern. This problem is called implementation correctness in this paper. By providing ...
متن کاملOff-Design Performance Prediction of Jet Engines
In this paper it is attempted to predict the off-design performance of a jet engine. After a review of the governing equations, the off-design performance is investigated by two methods. In the first method, the component characteristic curves of the Gas Turbines are used. In the second method some design point parameters and the reference state conditions are employed. The results obtained by ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Intelligent Information Management
سال: 2018
ISSN: 2160-5912,2160-5920
DOI: 10.4236/iim.2018.102004